linear bounder automaton

线性界限自动机